Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
51	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
52	Eurasia Journal of Mathematics, Science & Technology Education, 2008, 4(3), [removed]Technology in Learning: Narrowing the Gender Gap? Luckson Muganyizi Kaino University of Botswana,, Gaborone, BOTSWANA Add to Reading List Source URL: www.ejmste.com Language: English - Date: 2013-06-19 16:06:56 Mathematical anxiety Mathematics education E-learning Social constructivism Learning platform Blended learning Education Educational psychology Constructivism
53	CZF and Second Order Arithmetic Robert S. Lubarsky∗ Dept. of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-10 16:24:56 Functions and mappings Model theory Constructive set theory Intuitionism Mathematical constructivism Interpretation Function Constructible universe Μ operator Mathematics Mathematical logic Logic
54	Notes on the Interpretation of Modal and Intuitionistic Logic, 1966 Box 7, Folder 4 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pitt Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:43:14 Mathematical constructivism Philosophy of mathematics Non-classical logic Philosophical logic Epistemology Intuitionism Intuitionistic logic Kripke semantics Saul Kripke Logic Mathematical logic Mathematics
55	The Geometry of Negation Achille C. Varzi Department of Philosophy, Columbia University, New York, New York (USA) Massimo Warglien Department of Business Economics, Università Ca’ Foscari, Venice (Italy) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2003-04-04 09:59:15 Semantics Boolean algebra Propositional calculus Logical connectives Mathematical constructivism Negation Many-valued logic Truth table Intuitionistic logic Logic Mathematics Mathematical logic
56	From Classical to Intuitionistic Probability Brian Weatherson Abstract We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions rel Add to Reading List Source URL: brian.weatherson.org Language: English - Date: 2010-04-14 09:32:33 Philosophy of mathematics Epistemology Mathematical constructivism Bayesian statistics Non-classical logic Intuitionistic logic Bayesian probability Probability Intuitionism Logic Science Mathematics
57	pluralism and proofs Greg Restall∗ Philosophy Department, The University of Melbourne [removed] August 2011 Add to Reading List Source URL: consequently.org Language: English Philosophical logic Mathematical constructivism Propositional calculus Proof theory Intuitionistic logic Paraconsistent logic Intuitionism Negation Sequent calculus Logic Mathematical logic Non-classical logic
58	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic
59	Justin Clarke-Doane Handout[removed]Flawless Disagreement in Mathematics A disagrees with B with respect to a proposition, p, flawlessly just in case A believes p and B believes not-p, or vice versa, though neither A nor Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2012-02-11 09:06:10 Philosophy of mathematics Meta-ethics Logic Mathematical constructivism Epistemology Axiom Philosophical realism Intuitionism Mathematical logic Mathematics Philosophy Branches of philosophy
60	doi:[removed]j.jal[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:38:00 Non-classical logic Philosophical logic Model theory Mathematical constructivism Modal logic Kripke semantics First-order logic Intuitionistic logic Closure operator Logic Mathematical logic Mathematics

UPDATE